Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
881	La d´ecouverte de la calculabilit´e L. De Mol Generating, solving and the mathematics of Homo Sapiens. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 05:32:01 Mathematics Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Halting problem Computable function Algorithm Computability theory Theoretical computer science Computer science
882	14 Common Patterns in Recursive Procedures There are two ideas about how to solve programming problems.* One idea is that programmers work mostly by recognizing categories of problems that come up repeatedly Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Computability theory Computing Theory of computation Recursion Functions and mappings Function Mathematics Computer programming Programming idioms
883	An Interactive Lecture Approach to Teaching Computer Science Susan H. Rodger1 Computer Science Department Duke University Durham, NC, [removed]email: [removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 12:59:46 Theoretical computer science Computer science Compiler construction Applied mathematics Deterministic pushdown automaton Parsing table LL parser LR parser Pushdown automaton Automata theory Models of computation Formal languages
884	AltaRica 3.0 project: compile Guarded Transition Systems into Fault Trees T. Prosvirnova & A. Rauzy LIX Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-10-15 05:57:38 Mathematics Diagrams Petri net Computer science Markov chain SL Model theory Mathematical model Theoretical computer science Models of computation Concurrency
885	Information Theory, Evolutionary Computation, and Dembski’s “Complex Specified Information” Wesley Elsberry Department of Wildlife & Fisheries Sciences Texas A&M University 2258 TAMU Add to Reading List Source URL: antievolution.org Language: English - Date: 2003-11-12 08:42:10 Creationist objections to evolution Arguments for the existence of God Specified complexity William A. Dembski The Design Inference Causality Intelligent design and science Teleological argument Creationism Intelligent design Pseudoscience
886	Operational planning in state machines Hans Georg Schaathun1 Magne Aarset2∗ [removed] [removed] 1 Faculty of Engineering and Physical Sciences Add to Reading List Source URL: www.nik.no Language: English - Date: 2014-01-09 04:23:38 Systems theory Systems science Automata theory Digital electronics Models of computation Structured Analysis and Design Technique IDEF0 IDEF Situation awareness Systems analysis Systems engineering Science
887	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2009-07-27 23:31:09 Computational complexity theory Computational science Algorithm Mathematical logic Linear programming Analysis of algorithms PP Numerical analysis Theoretical computer science Applied mathematics Mathematics
888	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
889	In Praise of Numerical Computation Dedicated to Kurt Mehlhorn on his 60th Birthday Chee K. Yap∗ June 11, 2009 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-09-24 15:20:25 Computability theory Theory of computation Models of computation Formal methods Algorithm Computational geometry Computability Computational science Computer science Theoretical computer science Applied mathematics Mathematics
890	Mathematics and Computation of Chaotic Systems, Turbulence and People by Julian Hunt University College London Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2015-03-23 23:00:47 Cybernetics Science Systems science Structure Turbulence Dynamical system System Systems theory Chaos theory Fluid dynamics

UPDATE